Optimal. Leaf size=258 \[ \frac {2 b d^2 g n^2 x}{e^2}-\frac {b d g n^2 (d+e x)^2}{2 e^3}+\frac {2 b g n^2 (d+e x)^3}{27 e^3}-\frac {b d^3 g n^2 \log ^2(d+e x)}{3 e^3}+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )-\frac {d^2 n (d+e x) \left (b f+a g+2 b g \log \left (c (d+e x)^n\right )\right )}{e^3}+\frac {d n (d+e x)^2 \left (b f+a g+2 b g \log \left (c (d+e x)^n\right )\right )}{2 e^3}-\frac {n (d+e x)^3 \left (b f+a g+2 b g \log \left (c (d+e x)^n\right )\right )}{9 e^3}+\frac {d^3 n \log (d+e x) \left (b f+a g+2 b g \log \left (c (d+e x)^n\right )\right )}{3 e^3} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.21, antiderivative size = 258, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 7, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.219, Rules used = {2483, 2458, 45,
2372, 12, 14, 2338} \begin {gather*} \frac {d^3 n \log (d+e x) \left (a g+2 b g \log \left (c (d+e x)^n\right )+b f\right )}{3 e^3}-\frac {d^2 n (d+e x) \left (a g+2 b g \log \left (c (d+e x)^n\right )+b f\right )}{e^3}+\frac {d n (d+e x)^2 \left (a g+2 b g \log \left (c (d+e x)^n\right )+b f\right )}{2 e^3}-\frac {n (d+e x)^3 \left (a g+2 b g \log \left (c (d+e x)^n\right )+b f\right )}{9 e^3}+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (g \log \left (c (d+e x)^n\right )+f\right )-\frac {b d^3 g n^2 \log ^2(d+e x)}{3 e^3}+\frac {2 b d^2 g n^2 x}{e^2}-\frac {b d g n^2 (d+e x)^2}{2 e^3}+\frac {2 b g n^2 (d+e x)^3}{27 e^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 14
Rule 45
Rule 2338
Rule 2372
Rule 2458
Rule 2483
Rubi steps
\begin {align*} \int x^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right ) \, dx &=\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )-\frac {1}{3} (b e n) \int \frac {x^3 \left (f+g \log \left (c (d+e x)^n\right )\right )}{d+e x} \, dx-\frac {1}{3} (e g n) \int \frac {x^3 \left (a+b \log \left (c (d+e x)^n\right )\right )}{d+e x} \, dx\\ &=\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )-\frac {1}{3} (b n) \text {Subst}\left (\int \frac {\left (-\frac {d}{e}+\frac {x}{e}\right )^3 \left (f+g \log \left (c x^n\right )\right )}{x} \, dx,x,d+e x\right )-\frac {1}{3} (g n) \text {Subst}\left (\int \frac {\left (-\frac {d}{e}+\frac {x}{e}\right )^3 \left (a+b \log \left (c x^n\right )\right )}{x} \, dx,x,d+e x\right )\\ &=-\frac {1}{18} g n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )-\frac {1}{18} b n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+2 \left (\frac {1}{3} \left (b g n^2\right ) \text {Subst}\left (\int \frac {18 d^2 x-9 d x^2+2 x^3-6 d^3 \log (x)}{6 e^3 x} \, dx,x,d+e x\right )\right )\\ &=-\frac {1}{18} g n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )-\frac {1}{18} b n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+2 \frac {\left (b g n^2\right ) \text {Subst}\left (\int \frac {18 d^2 x-9 d x^2+2 x^3-6 d^3 \log (x)}{x} \, dx,x,d+e x\right )}{18 e^3}\\ &=-\frac {1}{18} g n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )-\frac {1}{18} b n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+2 \frac {\left (b g n^2\right ) \text {Subst}\left (\int \left (18 d^2-9 d x+2 x^2-\frac {6 d^3 \log (x)}{x}\right ) \, dx,x,d+e x\right )}{18 e^3}\\ &=-\frac {1}{18} g n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )-\frac {1}{18} b n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+2 \left (\frac {b d^2 g n^2 x}{e^2}-\frac {b d g n^2 (d+e x)^2}{4 e^3}+\frac {b g n^2 (d+e x)^3}{27 e^3}-\frac {\left (b d^3 g n^2\right ) \text {Subst}\left (\int \frac {\log (x)}{x} \, dx,x,d+e x\right )}{3 e^3}\right )\\ &=2 \left (\frac {b d^2 g n^2 x}{e^2}-\frac {b d g n^2 (d+e x)^2}{4 e^3}+\frac {b g n^2 (d+e x)^3}{27 e^3}-\frac {b d^3 g n^2 \log ^2(d+e x)}{6 e^3}\right )-\frac {1}{18} g n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (a+b \log \left (c (d+e x)^n\right )\right )-\frac {1}{18} b n \left (\frac {18 d^2 (d+e x)}{e^3}-\frac {9 d (d+e x)^2}{e^3}+\frac {2 (d+e x)^3}{e^3}-\frac {6 d^3 \log (d+e x)}{e^3}\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )+\frac {1}{3} x^3 \left (a+b \log \left (c (d+e x)^n\right )\right ) \left (f+g \log \left (c (d+e x)^n\right )\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.15, size = 226, normalized size = 0.88 \begin {gather*} \frac {-18 b d^3 g n^2 \log ^2(d+e x)+6 d^3 n \log (d+e x) \left (3 b f+3 a g-11 b g n+6 b g \log \left (c (d+e x)^n\right )\right )+e x \left (3 a \left (-6 d^2 g n+3 d e g n x+2 e^2 (3 f-g n) x^2\right )+b n \left (d^2 (-18 f+66 g n)+3 d e (3 f-5 g n) x+2 e^2 (-3 f+2 g n) x^2\right )-6 \left (-3 a e^2 g x^2+b \left (6 d^2 g n-3 d e g n x+e^2 (-3 f+2 g n) x^2\right )\right ) \log \left (c (d+e x)^n\right )+18 b e^2 g x^2 \log ^2\left (c (d+e x)^n\right )\right )}{54 e^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.49, size = 1785, normalized size = 6.92
method | result | size |
risch | \(\text {Expression too large to display}\) | \(1785\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 278, normalized size = 1.08 \begin {gather*} \frac {1}{3} \, b g x^{3} \log \left ({\left (x e + d\right )}^{n} c\right )^{2} + \frac {1}{3} \, b f x^{3} \log \left ({\left (x e + d\right )}^{n} c\right ) + \frac {1}{3} \, a g x^{3} \log \left ({\left (x e + d\right )}^{n} c\right ) + \frac {1}{3} \, a f x^{3} + \frac {1}{18} \, {\left (6 \, d^{3} e^{\left (-4\right )} \log \left (x e + d\right ) - {\left (2 \, x^{3} e^{2} - 3 \, d x^{2} e + 6 \, d^{2} x\right )} e^{\left (-3\right )}\right )} b f n e + \frac {1}{18} \, {\left (6 \, d^{3} e^{\left (-4\right )} \log \left (x e + d\right ) - {\left (2 \, x^{3} e^{2} - 3 \, d x^{2} e + 6 \, d^{2} x\right )} e^{\left (-3\right )}\right )} a g n e - \frac {1}{54} \, {\left ({\left (18 \, d^{3} \log \left (x e + d\right )^{2} - 4 \, x^{3} e^{3} + 15 \, d x^{2} e^{2} - 66 \, d^{2} x e + 66 \, d^{3} \log \left (x e + d\right )\right )} n^{2} e^{\left (-3\right )} - 6 \, {\left (6 \, d^{3} e^{\left (-4\right )} \log \left (x e + d\right ) - {\left (2 \, x^{3} e^{2} - 3 \, d x^{2} e + 6 \, d^{2} x\right )} e^{\left (-3\right )}\right )} n e \log \left ({\left (x e + d\right )}^{n} c\right )\right )} b g \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 295, normalized size = 1.14 \begin {gather*} \frac {1}{54} \, {\left (18 \, b g x^{3} e^{3} \log \left (c\right )^{2} + 2 \, {\left (2 \, b g n^{2} + 9 \, a f - 3 \, {\left (b f + a g\right )} n\right )} x^{3} e^{3} - 3 \, {\left (5 \, b d g n^{2} - 3 \, {\left (b d f + a d g\right )} n\right )} x^{2} e^{2} + 6 \, {\left (11 \, b d^{2} g n^{2} - 3 \, {\left (b d^{2} f + a d^{2} g\right )} n\right )} x e + 18 \, {\left (b g n^{2} x^{3} e^{3} + b d^{3} g n^{2}\right )} \log \left (x e + d\right )^{2} + 6 \, {\left (3 \, b d g n^{2} x^{2} e^{2} - 6 \, b d^{2} g n^{2} x e - 11 \, b d^{3} g n^{2} - {\left (2 \, b g n^{2} - 3 \, {\left (b f + a g\right )} n\right )} x^{3} e^{3} + 3 \, {\left (b d^{3} f + a d^{3} g\right )} n + 6 \, {\left (b g n x^{3} e^{3} + b d^{3} g n\right )} \log \left (c\right )\right )} \log \left (x e + d\right ) + 6 \, {\left (3 \, b d g n x^{2} e^{2} - 6 \, b d^{2} g n x e - {\left (2 \, b g n - 3 \, b f - 3 \, a g\right )} x^{3} e^{3}\right )} \log \left (c\right )\right )} e^{\left (-3\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 1.20, size = 384, normalized size = 1.49 \begin {gather*} \begin {cases} \frac {a d^{3} g \log {\left (c \left (d + e x\right )^{n} \right )}}{3 e^{3}} - \frac {a d^{2} g n x}{3 e^{2}} + \frac {a d g n x^{2}}{6 e} + \frac {a f x^{3}}{3} - \frac {a g n x^{3}}{9} + \frac {a g x^{3} \log {\left (c \left (d + e x\right )^{n} \right )}}{3} + \frac {b d^{3} f \log {\left (c \left (d + e x\right )^{n} \right )}}{3 e^{3}} - \frac {11 b d^{3} g n \log {\left (c \left (d + e x\right )^{n} \right )}}{9 e^{3}} + \frac {b d^{3} g \log {\left (c \left (d + e x\right )^{n} \right )}^{2}}{3 e^{3}} - \frac {b d^{2} f n x}{3 e^{2}} + \frac {11 b d^{2} g n^{2} x}{9 e^{2}} - \frac {2 b d^{2} g n x \log {\left (c \left (d + e x\right )^{n} \right )}}{3 e^{2}} + \frac {b d f n x^{2}}{6 e} - \frac {5 b d g n^{2} x^{2}}{18 e} + \frac {b d g n x^{2} \log {\left (c \left (d + e x\right )^{n} \right )}}{3 e} - \frac {b f n x^{3}}{9} + \frac {b f x^{3} \log {\left (c \left (d + e x\right )^{n} \right )}}{3} + \frac {2 b g n^{2} x^{3}}{27} - \frac {2 b g n x^{3} \log {\left (c \left (d + e x\right )^{n} \right )}}{9} + \frac {b g x^{3} \log {\left (c \left (d + e x\right )^{n} \right )}^{2}}{3} & \text {for}\: e \neq 0 \\\frac {x^{3} \left (a + b \log {\left (c d^{n} \right )}\right ) \left (f + g \log {\left (c d^{n} \right )}\right )}{3} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 756 vs.
\(2 (249) = 498\).
time = 3.62, size = 756, normalized size = 2.93 \begin {gather*} \frac {1}{3} \, {\left (x e + d\right )}^{3} b g n^{2} e^{\left (-3\right )} \log \left (x e + d\right )^{2} - {\left (x e + d\right )}^{2} b d g n^{2} e^{\left (-3\right )} \log \left (x e + d\right )^{2} + {\left (x e + d\right )} b d^{2} g n^{2} e^{\left (-3\right )} \log \left (x e + d\right )^{2} - \frac {2}{9} \, {\left (x e + d\right )}^{3} b g n^{2} e^{\left (-3\right )} \log \left (x e + d\right ) + {\left (x e + d\right )}^{2} b d g n^{2} e^{\left (-3\right )} \log \left (x e + d\right ) - 2 \, {\left (x e + d\right )} b d^{2} g n^{2} e^{\left (-3\right )} \log \left (x e + d\right ) + \frac {2}{3} \, {\left (x e + d\right )}^{3} b g n e^{\left (-3\right )} \log \left (x e + d\right ) \log \left (c\right ) - 2 \, {\left (x e + d\right )}^{2} b d g n e^{\left (-3\right )} \log \left (x e + d\right ) \log \left (c\right ) + 2 \, {\left (x e + d\right )} b d^{2} g n e^{\left (-3\right )} \log \left (x e + d\right ) \log \left (c\right ) + \frac {2}{27} \, {\left (x e + d\right )}^{3} b g n^{2} e^{\left (-3\right )} - \frac {1}{2} \, {\left (x e + d\right )}^{2} b d g n^{2} e^{\left (-3\right )} + 2 \, {\left (x e + d\right )} b d^{2} g n^{2} e^{\left (-3\right )} + \frac {1}{3} \, {\left (x e + d\right )}^{3} b f n e^{\left (-3\right )} \log \left (x e + d\right ) - {\left (x e + d\right )}^{2} b d f n e^{\left (-3\right )} \log \left (x e + d\right ) + {\left (x e + d\right )} b d^{2} f n e^{\left (-3\right )} \log \left (x e + d\right ) + \frac {1}{3} \, {\left (x e + d\right )}^{3} a g n e^{\left (-3\right )} \log \left (x e + d\right ) - {\left (x e + d\right )}^{2} a d g n e^{\left (-3\right )} \log \left (x e + d\right ) + {\left (x e + d\right )} a d^{2} g n e^{\left (-3\right )} \log \left (x e + d\right ) - \frac {2}{9} \, {\left (x e + d\right )}^{3} b g n e^{\left (-3\right )} \log \left (c\right ) + {\left (x e + d\right )}^{2} b d g n e^{\left (-3\right )} \log \left (c\right ) - 2 \, {\left (x e + d\right )} b d^{2} g n e^{\left (-3\right )} \log \left (c\right ) + \frac {1}{3} \, {\left (x e + d\right )}^{3} b g e^{\left (-3\right )} \log \left (c\right )^{2} - {\left (x e + d\right )}^{2} b d g e^{\left (-3\right )} \log \left (c\right )^{2} + {\left (x e + d\right )} b d^{2} g e^{\left (-3\right )} \log \left (c\right )^{2} - \frac {1}{9} \, {\left (x e + d\right )}^{3} b f n e^{\left (-3\right )} + \frac {1}{2} \, {\left (x e + d\right )}^{2} b d f n e^{\left (-3\right )} - {\left (x e + d\right )} b d^{2} f n e^{\left (-3\right )} - \frac {1}{9} \, {\left (x e + d\right )}^{3} a g n e^{\left (-3\right )} + \frac {1}{2} \, {\left (x e + d\right )}^{2} a d g n e^{\left (-3\right )} - {\left (x e + d\right )} a d^{2} g n e^{\left (-3\right )} + \frac {1}{3} \, {\left (x e + d\right )}^{3} b f e^{\left (-3\right )} \log \left (c\right ) - {\left (x e + d\right )}^{2} b d f e^{\left (-3\right )} \log \left (c\right ) + {\left (x e + d\right )} b d^{2} f e^{\left (-3\right )} \log \left (c\right ) + \frac {1}{3} \, {\left (x e + d\right )}^{3} a g e^{\left (-3\right )} \log \left (c\right ) - {\left (x e + d\right )}^{2} a d g e^{\left (-3\right )} \log \left (c\right ) + {\left (x e + d\right )} a d^{2} g e^{\left (-3\right )} \log \left (c\right ) + \frac {1}{3} \, {\left (x e + d\right )}^{3} a f e^{\left (-3\right )} - {\left (x e + d\right )}^{2} a d f e^{\left (-3\right )} + {\left (x e + d\right )} a d^{2} f e^{\left (-3\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.40, size = 323, normalized size = 1.25 \begin {gather*} \ln \left (c\,{\left (d+e\,x\right )}^n\right )\,\left (\frac {x^3\,\left (a\,g+b\,f-\frac {2\,b\,g\,n}{3}\right )}{3}+\frac {x^2\,\left (\frac {3\,d\,\left (a\,g+b\,f\right )}{2\,e}-\frac {d\,\left (9\,a\,g+9\,b\,f-6\,b\,g\,n\right )}{6\,e}\right )}{3}-\frac {d\,x\,\left (\frac {9\,d\,\left (a\,g+b\,f\right )}{e}-\frac {d\,\left (9\,a\,g+9\,b\,f-6\,b\,g\,n\right )}{e}\right )}{9\,e}\right )+x^2\,\left (\frac {d\,\left (3\,a\,f-b\,g\,n^2\right )}{6\,e}-\frac {d\,\left (a\,f-\frac {a\,g\,n}{3}-\frac {b\,f\,n}{3}+\frac {2\,b\,g\,n^2}{9}\right )}{2\,e}\right )+{\ln \left (c\,{\left (d+e\,x\right )}^n\right )}^2\,\left (\frac {b\,g\,x^3}{3}+\frac {b\,d^3\,g}{3\,e^3}\right )-x\,\left (\frac {d\,\left (\frac {d\,\left (3\,a\,f-b\,g\,n^2\right )}{3\,e}-\frac {d\,\left (a\,f-\frac {a\,g\,n}{3}-\frac {b\,f\,n}{3}+\frac {2\,b\,g\,n^2}{9}\right )}{e}\right )}{e}-\frac {2\,b\,d^2\,g\,n^2}{3\,e^2}\right )+x^3\,\left (\frac {a\,f}{3}-\frac {a\,g\,n}{9}-\frac {b\,f\,n}{9}+\frac {2\,b\,g\,n^2}{27}\right )+\frac {\ln \left (d+e\,x\right )\,\left (3\,a\,d^3\,g\,n+3\,b\,d^3\,f\,n-11\,b\,d^3\,g\,n^2\right )}{9\,e^3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________